Write for the optimal remaining cost and suppose for . The conclusions hold pointwise:
These are admissible heuristic combinations. An unweighted sum needs an extra condition, such as distributing action costs between the component estimates, to prevent counting the same required work twice.