theorem :: XPRIMES0:893

not 893 is prime