Part D: Prove