theorem :: TOPREAL6:87

for D being non empty Subset of (TOP-REAL 2) st D is bounded holds
N-bound D = N-bound (Cl D)