theorem :: XPRIMES1:1979

1979 is prime