induction proof for negative entries in an array

Upgrade
Loading…