Versie Oliver Byrne
Als een aantal hoeveelheden gelijkvouden zijn van evenveel andere hoeveelheden,
elk van elk:
dan is de meervoud die de eerste is van deler dezelfde meervoud als
de meervoud van de eerste hoeveelheden samen van alle andere samen.
Laat 
dezelfde meervoud van zijn,
die 
is van en
die 
is van .
| |
|
|||
Dan is evident dat |
dezelfde veelvoud is van |
, |
||
die is van .
Want er zijn evenveel hoeveelheden zijn van in
|
||
|
||
= |
||
als er zijn van in .
Dezelfde demonstratie is toegepast op drie hoeveelheden en
deze houdt stand voor elk ander aantal hoeveelheden.
Dus als een aantal hoeveelheden enzovoort.
QED
Neem a, b, c enzovoort en
gelijke veelvouden hiervan: p ⋅ a, p ⋅ b, p ⋅ c enzovoort.
Dan is p ⋅ a + p ⋅ b + p ⋅ c + ... = p ⋅ (a + b + c + ...).
Naar de versie van David E. Joyce à la Byrne
Als een aantal getallen 
en 
ieder dezelfde veelvoud is van 
en 
,
dan is de som van de veelvouden, en ,
dezelfde veelvoud van de som van de andere getallen, en ,
als is van .
Oftewel, omdat dezelfde veelvoud van is als is van ,
moet 
net zo vaak in 
passen als in (def 2 uit Boek V).
Verdeel in delen gelijk aan
en verdeel in delen gelijk aan .
Dan is het aantal keer dat past gelijk aan het aantal keer dat past.
Omdat ieder deel van gelijk is aan en
ieder deel van gelijk is aan ,
moet de som van een deel van en een deel van gelijk zijn
aan de som van en .
Daar het aantal keren dat past in gelijk is aan
het aantal keren dat past in ,
moeten evenveel delen van = ontstaan.
Dus moet net zo vaak in passen als in .
Daarom geldt: Als een aantal getallen enzovoort.