Fixed up a theorem definition.
Working on tiling.
Finished tiling theorem.