Furthermore, if term C is a term in which i does not occur freely:
(sumi, F C*T) = C*(sumi, F T).
(sumi, F C) = n*C