theorem :: XPRIMES0:1146

not 1146 is prime