비교흡수부정 항등명제