theorem :: XPRIMES1:4079

4079 is prime