Added theorems