To me it does not seem like it is proof by contradiction, or maybe not in the straight forward way that contradictions are used in proofs. It just happens to think about the problem in a complementary (of complement sets ...) way.