some theorems about domain and insert on sptrees