十数年ぶりに素因数分解しました。