Affine connection, Riemann curvature, Pfaff problem, Frobenius theorem