In property (3) of the lemma you have:Y = f(X) U (B - f(X))When I think you intended the Y to be B.
Y = f(X) U (B - f(X))
When I think you intended the Y to be B.
You are right. Many thanks for pointing that out.