Proof from last note