generalize some theorems