theorem :: XPRIMES0:891

not 891 is prime