theorem :: XPRIMES0:330
not 330 is prime