Dalbesio Proofs