Abstract:wo theorems of the relationships between the validity of admissible heuristic function h and the expected cost in the A* algorithm made by Pearl is introduced first.An additional assumption required for the validity of these two theorems is given and also be proved in the paper.