theorem :: XPRIMES2:7297
7297 is prime