theorem :: XPRIMES0:1209

not 1209 is prime