User:Keith.U/Sandbox

Theorem
Let $e$ denote Euler's Number.

Then $e \in \R$.