47_CbD_Proofs