Real Number Divided by Itself

Theorem

 * $\forall x \in \R_{\ne 0}: \dfrac x x = 1$