Fie unghiul ascuțit ∢ AOB și semidreptele [OC și [OD, astfel încât OC ⟂ OA și OD ⟂ OB, iar Int(∢AOC) ∩ Int(∢DOB) = Ø. Dacă [OF este bisectoarea unghiului ∢COB, iar [OG este bisectoarea unghiului ∢COD, să se arate că măsura unghiului ∢FOG este constantă, indiferent de măsura unghiului ∢AOB.​