theorem :: XPRIMES0:1208

not 1208 is prime