[math-fun] order of 3 in Mersenne-prime group