Frobenius's theorem