Quasilinear resolutions of non-linear equations

By analogy with the linear vector bundle case, a non-linear partial differential equation on a manifold can be defined as a fibred submanifold R_k of a k-jet bundle. By observing that under natural conditions the first prolongation gives rise to a vector bundle over R_k, (that is, a quasilinear equation), techniques of the linear case are adapted to establish conditions for the formal integrability of the equation.