15.9 A* 알고리즘의 완전성(Completeness) 보장 조건과 증명