theorem :: XPRIMES1:1933

1933 is prime