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.