theorem :: XPRIMES0:1159

not 1159 is prime