заключительная проверка

Мат. final prove-out