theorem :: XPRIMES0:152

not 152 is prime