mathlesstraveled.com
MaBloWriMo 20: the group X star
So, where are we? Recall that we are assuming (in order to get a contradiction) that $latex M_n$ is not prime, and we picked a smallish divisor $latex q$ (“smallish” meaning $latex q^2 \leq M_n$). …