Proof 7 steps