Es gibt genau einen Z2Z4-zyklischen 1-perfekten Code