theorem :: XPRIMES0:220

not 220 is prime