theorem :: XPRIMES0:1147

not 1147 is prime