theorem :: XPRIMES0:896

not 896 is prime