1. Prove that the predicate "0 is in W_x" is undecidable. You may use that fact that "x is in W_x" is undecidable.