theorem :: XPRIMES0:1145

not 1145 is prime