theorem :: XPRIMES0:180

not 180 is prime