Start to proof of backtracker optimality