La somma di numeri naturali è introdotta informalmente nel capitolo 1 e nel paragrafo 1.3 ne sono illustrate alcune proprietà.

Potete svolgere l'esercizio \exercise{1/1} partendo dai vostri ricordi e provando a riflettere su quali 
caratteristiche debbano avere i numeri <em>da mettere in alto</em> rispetto a quelli <em>da mettere in basso</em>.