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.