Dadas las mismas cosas, digo que AC2BK⋅FG=CNMN⋅OM.
En efecto, AC2BK2=CNMO y BKFG=MOOI [Prop. VII.8], de donde BK2BK⋅FG=MOOI, luego AC2BK⋅FG=CNOI. Pero, por hipótesis, OI2=NM⋅MO. Así AC2BK⋅FG=CNMN⋅OM.
Q. E. D.