Supplementary Material for Neural Ensemble Search for Uncertainty Estimation and Shift A Proof of Proposition 3.1