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 of a k-jet bundle. By observing that under natural conditions the first prolongation gives rise to a vector bundle over R, (that is, a quasilinear equation), techniques of the linear case are adapted to establish conditions for the formal integrability of the equation.