theorem :: TOPGEN_1:56

ex A, B being Subset of R^1 st
( A is boundary & B is boundary & not A \/ B is boundary )