Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thanks for comment. $\leftarrow$ means randomly choose an element from the corresponding distribution. || stands for concatenation. And I have considered correlated one time pad as counterexample. However one time pads are not CPA secure since they are deterministic. With the property of CPA secure, it might be possible to achieve security by concatenation.