Involutivity of field equations
We prove involutivity of Einstein, Einstein–Maxwell, and other field equations by calculating the Spencer cohomology of these systems. The relation with Cartan method is traced in detail. Basic implications through Cartan–Kahler theory are derived.