theorem :: XPRIMES0:1212

not 1212 is prime