theorem :: XPRIMES0:892

not 892 is prime