Az ABCΔ-ben felvett AA', BB', CC' transzverzálisok egy O ponton mennek keresztül. Bebizonyítandó, hogy ha