Sui lati $a$ e $b$ di un angolo $a \widehat{O} b$ considera, rispettivamente, due punti $A$ e $B$ tali che $O A \cong O B$. Dimostra che, comunque si prenda un punto $P$ appartenente alla bisettrice di $a \widehat{O} b$, i due triangoli OPA e OPB sono congruenti. Considera poi due punti $R \in a$ ed $S \in b$ tali che $R \notin O A, S \notin O B$ ed $R A \cong S B$; dimostra che $R P \cong S P$.