Real Zero is Zero Element

From ProofWiki
Jump to navigation Jump to search

Theorem

$\forall x \in \R: 0 \times x = 0$


Proof

\(\ds 0 \times x\) \(=\) \(\ds \paren {0 + 0} \times x\) Real Number Axioms: $\R A 3$
\(\ds \) \(=\) \(\ds 0 \times x + 0 \times x\) Real Number Axioms: $\R D$
\(\ds \leadsto \ \ \) \(\ds 0 \times x\) \(=\) \(\ds 0\) Real Addition Identity is Zero: Corollary

$\blacksquare$


Sources