sum rule in discrete mathematics