Least Upper Bound Property/Proof 2

Proof
A direct consequence of Dedekind's Theorem.