mathematical theory of relativity