Field/Domain/Fact/Proof
Appearance
Proof
We prove this by contradiction, so we assume that and are both not . Then there exist inverse elements and , and hence . On the other hand, we have by the premise, and so the annihilation rule gives
hence , which contradicts the field properties.