A holey triangle is an upward equilateral triangle of side length with upward unit triangular holes cut out. A diamond is a unit rhombus.
Prove that a holey triangle can be tiled with diamonds if and only if the following condition holds: Every upward equilateral triangle of side length in contains at most holes, for .
Prove that a holey triangle can be tiled with diamonds if and only if the following condition holds: Every upward equilateral triangle of side length in contains at most holes, for .