"A polyiamond ... is a polyform whose base form is an equilateral triangle."
"Connected combinations of equilateral triangles can be called triangular animals ..."
Solomon W. Golomb
A polyiamond is a polyform whose base form is an equilateral triangle.
"... if a polyiamond tiles an equilateral triangle, it will also be a rep-tile."
Theorem: If a polyiamond tiles an equilateral triangle, then it's a rep-tile.
TODO: Proof (Is a proof necessary?)