More some theorems around