image While this proves the staticity theorem for vacuum and self-gravitating scalar fields [88], it does not solve the electrovac case; see Sect. 2.1 and Sect. 3.5 and references therein.