Име на инварианта: Деление по модул (намиране на A % B)
Kатегория: Разни

Описание:
Връща остатъка от A / B

Изглед на инварианта:
c = a % b;

Пемплейт:
<span class="is2_var">c</span> = <span class="is2_var">a</span> % <span class="is2_var">b</span>;