algorithm validation

Перевірка правильності алгоритму

перевірка (доведення) правильності алгоритму