Corollary of Generalized Sum Restricted to Non-zero Summands