Here is an Islamic Lattice pattern from artist Alan Adams. This one is identical in design to one at the tomb of an Asian conqueror, Timur, in what is now Uzbekistan. The tomb was the model for the great Taj Mahal in Agra, built by Timur’s descendants, the ruling dynasty of North India.

With isometries defined, proofs of the angle pair theorems are simple!