Frobenius theorem