theorem :: XPRIMES0:1207

not 1207 is prime