Premise: Another proof, if proof was needed.

Hypothesis: Proof wasn't really needed.
Relation: neutral