Sphinx


THEOREM    The sphinx tiles the plane by translation and \(180^\circ\) rotation only.
Proof.     The sphinx tiles a rhomboid (see figure below). Every rhomboid tiles the plane. Therefore, the sphinx tiles the plane.

THEOREM    The sphinx is a rep-4-tile.
Proof.    

Proper supersets