theorem :: XPRIMES0:870

not 870 is prime