aとbが互いに素であることと 2^a-1 と2^b-1 が互いに素であることは同値である。