IND-CCA security ⇒ IND-CPA KEM
Statement
Every IND-CCA-secure KEM is IND-CPA-secure: for every efficient IND-CPA adversary there is an efficient IND-CCA adversary with the same advantage — folklore.
Sketch
The IND-CPA game is the IND-CCA game without the decapsulation oracle, so an IND-CPA adversary is an IND-CCA adversary that makes no decapsulation queries.