theorem :: XPRIMES0:1078

not 1078 is prime