15.8 일관 휴리스틱(Consistent Heuristic) 하에서의 최적성 증명