A new counting function for the zeros of holomorphic curves

Let (Formula Presented.) be entire functions that do not all vanish at any point, so that (Formula Presented.) is a holomorphic curve in (Formula Presented.). We introduce a new and more careful notion of counting the order of the zero of a linear combination of the functions (Formula Presented.) at any point where such a linear combination vanishes, and, if all the (Formula Presented.) are polynomials, also at infinity. This enables us to formulate an inequality, which sometimes holds as an identity, that sharpens the classical results of Cartan and others.