Appendix A Proof of Theoretical results