theorem :: XPRIMES0:115

not 115 is prime