theorem :: PEPIN:62

(256 * 256) + 1 is prime