reconsider A = [#] REAL as Subset of R^1 by TOPMETR:17;
[#] R^1 = REAL by TOPMETR:17;
hence REAL is non boundary Subset of R^1 ; :: thesis: verum