Fixato qualche enunciato e iniziato la dimostrazione del cambio di variabile