Appendix A Proof of Theorem 2 For simplicity, we denote