A1: Mathematical Appendix