. . "In a vast number of cases, it is easier to test whether a solution is correct than it is to produce the solution." . .