theorem :: XPRIMES0:1148

not 1148 is prime