proof (used to check a computation

English-Turkish translations from the Atalay Dictionary, First Edition