Proof #4 (I went first)