Sui lati a e b di un angolo aOb, considera, rispettivamente, due punti A e B tali che OA congruente OB. Dimostra che, comunque si prenda un punto P appartenente alla bisettrice aOb, i due triangoli OPA e OPB sono congruenti. Considera poi: R appartenente ad a S appartenente a b tali che R non appartenga a OA, S non appartenga a OB e RA congruente a SB; dimostra che RP è congruente a SP