theorem :: XPRIMES1:997

997 is prime