theorem :: XPRIMES1:149

149 is prime