Aggiunti degli enunciati per il cambio di variabili