precondizione solo numeri positivi