proof_1a_dribbb