commutatività dell'addizione