Fibred Frobenius theorem

We give a version of Frobenius Theorem for fibred manifolds whose proof is shorter than the “short proofs” of the classical Frobenius Theorem. In fact, what shortens the proof is the fibred form of the statement, since it permits an inductive process which is not possible from the standard statement.