theorem :: XPRIMES2:6373

6373 is prime