Aggiunto una mezza dimostrazione