Proof Section to an Introduction to Credal Sets and Infra-Bayes Learnability — AI Alignment Forum