theorem :: XPRIMES0:150

not 150 is prime