some theorems about isEmpty and toList on sptrees