Proof #7