Mersenne's laws