Aggiunto il simbolo di media integrale
Concluso il cambio di variabile a meno di qualche lemma sparso