theorem :: XPRIMES0:855

not 855 is prime