A Proofs A.1 Learning D