theorem :: XPRIMES0:1555

not 1555 is prime