Remark 1

The assumption of assertion b) is always valid if I is finite. When the set I is infinite, it means that the family $(\lambda_i)_{i\in I}$ tends to 0 according to the filter of complements of finite subsets of I; in particular, the set of the $i\in I$ such that $\lambda_i\not = 0$ is then countable.