Proof Explained for "Robust Agents Learn Causal World Model" — AI Alignment Forum