sketches a proof of