theorem :: XPRIMES0:1199

not 1199 is prime