theorem :: XPRIMES0:1155

not 1155 is prime