theorem :: XPRIMES2:6473

6473 is prime