Proposición 9

Haciendo las mismas construcciones que en las dos proposiciones anteriores, digo que AC2(BKFG)2=CNOM(OMMNOM)2.

En efecto, BKFG=MOOI [Prop. VII.8], de donde BKBKFG=MOMOOI, luego BK2(BKFG)2=MO2(MOOI)2. Como AC2BK2=CNMOMO2 [Prop. VII.8], entonces AC2(BKFG)2=CNMO(MOOI)2. Ya que, por hipótesis, OI2=NMMO, entonces AC2(BKFG)2=CNOM(OMMNOM)2.

Q. E. D.