theorem :: XPRIMES0:851

not 851 is prime