theorem :: XPRIMES0:297

not 297 is prime