Demostrar que si el lado AB del triángulo ABC es girado un ángulo α
respecto al vértice C, y como resultado se obtiene el triángulo A'B'C, entonces las rectas AB y A'B' se intersectan en un ángulo α. (Equivalentemente, si P es el punto de intersección, entonces el cuadrilátero PACA' es cíclico.)