theorem
  A,B constitute_a_decomposition implies (A is boundary iff B is dense) by Th2;
