Let M_n denote the nth mersenne number (note that here n can be composite).

Prove the following (or find counter example):

If M_n is not squarefree, then the square factor is a factor of n.

PS: I think this is false, however it may take awhile to find a counterexample.