theorem :: XPRIMES1:1993

1993 is prime