Proof

See interactive cell below...