Si una recta r talla la circumferència circumscrita en els punts X i Y, les rectes de Simson de X i de Y es tallen a l'ortopol de r.