Category talk:Theorems in general relativity