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 annulation rule gives
hence , which contradicts the field properties.