theorem :: XPRIMES0:873

not 873 is prime