Counting by Summing over a Parameter (Arithmetic-Progression Counts)

When a count splits by one free parameter d and equals a linear formula in d, total it with the arithmetic-series sum instead of listing cases — the running counts form an arithmetic progression you add in one stroke.