theorem :: XPRIMES1:79

79 is prime