theorem :: XPRIMES1:1997

1997 is prime