>>70>>71
有難うございます。
既約剰余類とか乗法群などを考えないと厳密な証明は
不可能のようですね。