Haridemos 33_CbD_Proofs