Frobenius Integrability Theorem