Characteristic of Field by Annihilator

Theorem
Let $\struct {F, +, \times}$ be a field.

Then of the following two cases, exactly one applies: