theorem :: XPRIMES0:1149

not 1149 is prime