Da un punto P della bisettrice r dell'angolo AÔB traccia una retta che forma quattro angoli congruenti con r e interseca i lati dell'angolo AOB, o i loro prolungamenti, in Ce D.
Dimostra che:
- OC = OD;
- preso un punto Q qualunque di OP, si ha
QC = QD.