Mersenne's conjecture