Proof
6 following