----- 1/02/17 -----

> Volevo chiedere una spiegazione riguardo l'ultimo passaggio della dimostrazione
> del caso base riferito alla soluzione dell'esercizio 4 presente nella prova del 21-01-13.

-----

Nei casi base il minimo fra i valori x, y (entrambi interi non negativi) e' zero, pertanto:

- uno dei due valori  x  oppure  y  e' uguale a zero;

- in ogni caso  xy = 0;

- se  y = 0  allora  x + y = x = x - y = |x - y|;

- se  x = 0  allora  x + y = y = y - x = |x - y|;

- per evitare di distinguere due casi si puo' anche osservare che  min(x,y) = 0
  e  max(x,y)  e' l'altro valore.

----- * -----