theorem :: XPRIMES0:1220

not 1220 is prime