== Պնդում 14<ref>Այս ժամանակակից նշանաբանությամբ, այս բացատրությունը ասում է, որ եթե a:b::d:e և b:c::e:f, ապա a:c::d:f, որտեղ բոլոր խորհրդանիշները տառերը ներկայացնում են թվեր։</ref> ==
Եթե կա որևէ թվերի բազմություն, և մեկ այլ թվերի բազմություն նրանց հավասար,որոնք հարաբերում են միմյանց ինչպես նշվաց է Պնդում 13-ում,ապա նրանք նույնպես հավասար կհարաբերեն միմյանց: