theorem :: XPRIMES0:207

not 207 is prime