theorem :: XPRIMES0:1206

not 1206 is prime