theorem :: XPRIMES1:97

97 is prime