theorem :: XPRIMES0:1056

not 1056 is prime