Este teorema ("véase fig 2.1 y 2.2"), es un caso particular de una propiedad de los puntos cocíclicos y de la aplicación de los ángulos inscritos dentro de una circunferencia.