A simplified version of the proof was later given by Ernst Witt.
後に簡潔な証明が Ernst Witt によって与えられた。