theorem :: XPRIMES0:850

not 850 is prime