Име на инварианта: Изваждане (намиране на 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>;