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




