命題2
二つの不等な量のうちより大きいほうから小さいほうを次々にひいていき,そのひかれて残った量がひいたの量を割り切れないならば, それらの二つの量は通約不可能である。
二つの不等な量AB,CDがあり,ABのほうがCDより小さいとする。大きいほうから小さいほうを次々とひいていき,引かれて残った量がひいた量を割り切れないとすると,量AB,CDは通約不可能となる。
もし,それらの量が通約可能であるならば,その時のある量Eは,AB,CDを割り切る。FDはABで割り切られ,CFはABより小さくなるようなFDをCD上にとり,CDからFDをひく。
同様にして,AB上にGをとりABからGBをひく。引かれて残った量がEより小さくなるまでこの過程を繰り返す。
そしてEより小さいAGが残されたとする。
その時,ABはFDを割り切りEはABを割り切るので,ゆえにEはFDも割り切る。また,EはCD全体も割り切る。>
ゆえに,EはCFも割り切り,また,CFはBGを割り切るので,EはBGも割り切る。また,EはAB全体も割り切る。
ゆえにEはEよりも小さい量のAGをも割り切る。これは不可能である。
したがって,いかなる量も量AB,CDを割り切らない。ゆえに,量AB,CDは通約できない。 ].Def.1
証明終了