“…[S,Proposition 5.5], Bakry-Gentil-Ledoux [BGL,Proposition 9.2.4], and Ozawa-Suzuki [OS,Theorem 1.1], cf. [K,Lemma 2.1,Proposition 3.20], and that Y ⊂ P follows from Cavalletti-Mondino [CM,Theorem 1.6]. Then Corollary 1.3 is a direct consequence of Theorem 1.1.…”