theorem :: XPRIMES1:67

67 is prime