Fixed an error in Lemma 11.4.1 definition

I'm not sure I fixed it right, but it was utter nonsense before. At worst the premise is now trivially true instead of trivially false.