theorem :: XPRIMES0:155

not 155 is prime