theorem :: XPRIMES2:9209

9209 is prime