theorem :: XPRIMES2:6079

6079 is prime