Theorems in differential geometry