**Recently on Marilyn's discussion boards...**

**From Gofer:**

" No, it really doesn't."

Yes it really does, because we can split B into two cases: B=T and B is a proper subset of T, where, for the second one, the lemma follows immediately due to the definition of a proper subset.

So in this case, it turns out that proof by negation (not contradiction) and proof by contrapostive are actually one and the same.