²³Hasse konnte die Produktformel für das Hilbertsche Symbol in der Tat beweisen. Dazu mussten aber zunächst alle Terme definiert werden. Siehe dazu 10.3.