Premise: Here was the proof.

Hypothesis: The proof was then brought up and shown.
Relation: neutral