Proof: what else could it be? If it's not 0, there's a smaller number, contradicting your (intuitive) definition of epsilon.
[0] Specifically, the dual numbers: https://en.wikipedia.org/wiki/Dual_number
There is no such things as «two successive real numbers».