theorem :: XPRIMES0:1074

not 1074 is prime