>>45
>”aa と 2bb の素因数の個数は偶数と奇数”
の証明に素因数分解の一意性は不要だけど