Go backward to Sum IdentitiesGo up to TopGo forward to Examples |

Furthermore, if term `C` is a term in which `i` does not occur
freely:

(sum_{i, F}C*T) =C*(sum_{i, F}T).

((wheresum_{i, F}C) =n*C

Author: Wolfgang Schreiner

Last Modification: November 16, 1999