Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-311/3/ii/solution

Let exhibit the stable causality of , so has no closed timelike curves. Set
The vector remains timelike for . Widening the cones of once more using gives
which is causal by assumption. Hence

New to topics? Read the docs here!