invariant principle in problem solving - Search