for X being set holds rng (Total X) = X