²⁸Artin schreibt versehentlich K statt KK'.