この証明は、

u ∈ S であるとき、破綻しますよね。