Theorems in general relativity