命題２５
奇数が偶数から引かれるならば、その余りは奇数である。
奇数BCを偶数から引くとする。
余りCAが奇数であることをいう。
BCから単位CDを引き、それゆえにDBは偶数である。definitionⅦ．７
しかしABもまた偶数であり、それゆえに余りADもまた偶数である。そしてCDは単位であり、それゆえにCAは奇数である。propositionⅨ．２４、definitionⅦ．７
それゆえに、奇数が偶数から引かれるならば、その余りは奇数である。
証明終了
命題２５
奇数が偶数から引かれるならば、その余りは奇数である。
奇数BCを偶数から引くとする。
余りCAが奇数であることをいう。
BCから単位CDを引き、それゆえにDBは偶数である。definitionⅦ．７
しかしABもまた偶数であり、それゆえに余りADもまた偶数である。そしてCDは単位であり、それゆえにCAは奇数である。propositionⅨ．２４、definitionⅦ．７
それゆえに、奇数が偶数から引かれるならば、その余りは奇数である。
証明終了