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

なりとせば
(2)
