Optimality of A* (Proof)