>>116=>>119だが、31乗で初めて単位元になることが確認できた。