Jump to content

Field/Domain/Fact/Proof

From Wikiversity
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.