Aggiunto un altro enunciato per il cambio di variabile