On asymptotically flat solutions of Einstein's equations periodic in time I. Vacuum and electrovacuum solutions

By an argument similar to that of Gibbons and Stewart, but in a different coordinate system and less restrictive gauge, we show that any weakly-asymptotically-simple, analytic vacuum or electrovacuum solutions of the Einstein equations which are periodic in time are necessarily stationary.