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