Field/Domain/Fact

Let ${}K$ denote a field. Then ${}a\cdot b=0$

implies that

${}a=0$ or

${}b=0$.

Proof, Write another proof