"Il secondo metodo consiste nell'aggiungere una notazione numerica a sinistra delle formule nella dimostrazione."
The second method consists in adding a numerical notation to the left of the formulas in the proof.