 In the infinite case, compactness of "T" and the weak-convergence of "en" to 0 imply that , therefore .Since "F" is contained in "Hn" for every "n", it follows that "m"("S") ≤ "m"({"Tn"}) = |"λn"| for every "n", hence "m"("S") = 0.This implies again that .