Conic Carathéodory theorem

In an $N$-dimensional real vector space, each member of a conic hull has a representation using at most $N$ generators. To prove it, take a finite positive-coefficient representation with more than $N$ terms. Its generators are linearly dependent, say ${\sum }_j{\mu }_j{s}_j=0$, with some ${\mu }_j>0$ after reversing the relation if necessary. Subtract $t{\mu }_j$ from each coefficient, taking $t={\min }_{{\mu }_j>0}{\lambda }_j/{\mu }_j$. All coefficients stay nonnegative and at least one vanishes. Iterate. The bound differs from the $N+1$ bound for a convex hull because the coefficient sum is unrestricted.