Prove the theorem: