theorem :: XPRIMES0:1210

not 1210 is prime