theorem :: XPRIMES0:1154

not 1154 is prime