Real Division by One

Theorem

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