before main theorems