theorem :: XPRIMES3:4

6700417 is prime