theorem :: XPRIMES1:89

89 is prime