Doch heb ik problemen met de verantwoording van een tussenstap:
of
(en deze tussenstap die volgt, daarvan begrijp ik niet hoe je deze kan verantwoorden... Ik heb al wat zitten zoeken en alles wat ik vind is (volgens VII.30 door Euclides) )
a is deelbaar door 5
opnieuw de tussenstap die ik niet echt kan verantwoorden
b is deelbaar door 5
zowel a als b deelbaar door 5, in tegenstelling met de opgezette veronderstelling.