Aggiunto un altro poco di dimostrazione