theorem :: XPRIMES1:151

151 is prime