theorem :: XPRIMES0:1071

not 1071 is prime