theorem :: XPRIMES0:1075

not 1075 is prime