proof_DIAMOND