theorem :: XPRIMES0:1115

not 1115 is prime