Leonardo da Vinci systematically determined all possible symmetries of a central building, and how to attach chapels and niches without destroying the symmetries of the nucleus.

Theorem (DA VINCI)
A finite group of isometries on a Euclidian plane is either cyclic (if only rotations are contained) or a dihedral group (if reflections are contained).