theorem :: XPRIMES1:991

991 is prime