Real Division by One

Theorem

 * $\forall x \in \R: \dfrac x 1 = x$