Beyond Unimodal: Generalising Neural Processes for Multimodal Uncertainty Estimation Appendix A Lemma and Proof