Added sketch of proof.