さて は 及 と相素なるが故に,(1) の第一の等式によりて は と相素なるを知るべし.何とならば と との公約數は の約數卽ち と との公約數ならざるを得ざるが故に と との公約數は を外にしてあり得べからざればなり. と と相素なるが故に同一の理由によりて と とも亦相素ならざるを得ず.次第に斯の如くして 等逐次現れ來る剩餘は盡く と相素なるを知るべし.
は皆 より小なる正の整數にして, より小なる正の整數に限りあるが故に 等を何處までも求め行かば,其中に同一の數の反復して出て來ること已むを得ざる所なり.今
なりとせば
(2)