theorem :: XPRIMES1:1973

1973 is prime