Minthogy OBE∢=EFA∢, azért OBE▵∼OFC▵; így tehát OF:OC=OB:OE, miből OC⋅OB=OE⋅OF, de OC=OB=OA, s így OE⋅OF=OA¯2.