program proof

Доведення правильності програми