theorem :: XPRIMES1:967

967 is prime