Körperformalisierung

Formalisiere: Wenn es in einem Körper möglich ist, mit dem Aufsummieren von einem Element wieder die $0$ zu erreichen, dann ist es eindeutig, wie häufig man ein Element minimal aufsummieren muss, um die $0$ zu erreichen.