theorem :: XPRIMES0:858

not 858 is prime