correzione nella dimostrazione