, donc .

OAN est équilatéral,  ; il s'ensuit que : ,
donc modulo .

De même ,
donc modulo .