Vai al Carrello → "L’Hauptsatz di Gentzen" aggiunto correttamente al carrello.