KM_PROOF_DETAIL_2