theorem :: XPRIMES2:6967

6967 is prime