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