theorem :: XPRIMES0:894

not 894 is prime