theorem :: XPRIMES1:1097

1097 is prime