Resumen: In 1992 or so, Steve Smale and I proved that the average number of real roots of a square polynomial system is the square root of the Bezout number. Now I have proven a similar theorem for the number of intersection points of complementary dimension sub manifolds of a given manifold