theorem :: XPRIMES0:148

not 148 is prime