theorem :: XPRIMES2:7079

7079 is prime