Tiling is an enormous field. This theorem might be said to reside in the subfield that concerns infinite tilings of the plane that use exactly one specimen each of a well-defined collection of similar figures. Much work has been done here and many questions remain: