Terms for subject Mathematics containing prove out

English	Russian
final prove-out	заключительная проверка
which is what we set out to prove	что и требовалось доказать