theorem :: XPRIMES1:181

181 is prime