Frobenius' theorem