theorem :: XPRIMES0:270

not 270 is prime