2^1024 - 1 = (2^512 - 1)(2^512 + 1) = (2^256 - 1)(2^256 + 1)(2^512 + 1) = ... = (2 + 1)(2^2 + 1)(2^4 + 1)(2^8 + 1)...(2^512 + 1)