Premise: Well, his proof does leave one loophole.

Hypothesis: There are no loopholes in his proof.
Relation: contradiction