Category:Theorems in general relativity