Mathematical appendix