Prove: