Legyenek $P$, $A$, $B$, $C$ egy egyenes egymás utáni pontjai és $Q$ az egyenesen kívüli tetszőleges pont. Jelöljük a $PQA$, $PQB$, $PQC$ szögeket $\alpha$, $\beta$, $\gamma$-val, a $PA$, $PB$, $PC$ szakaszokat $a$, $b$, $c$-vel. Bizonyítandó, hogy