To test, evince, ascertain, or verify, as the correctness of any operation or result; thus, in subtraction, if the difference between two numbers, added to the lesser number, makes a sum equal to the greater, the correctness of the subtraction is proved.