Какая процедура получения доказательств предполагает проверку точности арифметических расчетов либо выполнение самостоятельных расчетов?