Re: Far rientrare gli ambienti

Dici egreg che è meglio metterli fuori dalla dimostrazione gli eventuali Lemmi??