I want to know the answer to the following question:
How are mathematical operations checked?
All the background I'm provided with is that "Comparison of a back-translation with the original text is sometimes used as a check on the accuracy of the original translation, much as the accuracy of a mathematical operation is sometimes checked by reversing the operation.". Is that enough to answer the question?
Answer: yes