https://9dok.net/document/q054o309-k-k-orper-charakteristik-beweise-variante-urzungssatzes-witt.html