「最大の」公約数がどの公約数でもわり切れることの証明は
素元分解を使わないと意外に面倒だよね