theorem :: XPRIMES0:1076

not 1076 is prime