Frobenius integrability theorem