theorem :: XPRIMES0:1150

not 1150 is prime