proof of termination

Доведення правильності завершення роботи (прогрaми)