I denote by the set of invertible elements of .

Assume that, for every , . Then, if we associate each element of with its opposite (which is in as well), we partition in pairs,contradictingthe fact that the cardinality of is odd.

As a consequence, there exists such that . Multiplying by , this implies (where is the unit element of ), or (where ): the characteristic is .