New sptree theorem about domain of union.