質問＜１０９３＞２００３／１／２５
from=ももりん
「最大公約数」

a =/= 0,b = 0
ならば　a と b　の最大公約数は |a|である

これは除法の定理と最大公約数は正であるっていうことを
使うんですか？はっきり分からないので教えてください。
お願いします。

お便り２００３／１／２６
from=phaos

あらゆる整数は 0 を割りきるから,
a (≠ 0) と 0 の最大公約数とは a の約数のうち最大のもの
ということになる。
だからそれは |a| となるので, 定義から出るわけである。
最大公約数は正っていうのは使っているとは思うが,
除法の定理は使っているとは思えない。