Proof. In a manner similar to Euclidean geometry, the reflection in a point p can be
represented as composition of reflections in two orthogonal lines through p. Replace
each I pk by the composition of reflections in the adjacent sides of the n-gon. Then we
have