theorem :: XPRIMES2:6203

6203 is prime