Since F is contained in Hn for every n, it follows that m(S) ≤ m({Tn}) = |λn| for every n, hence m(S) = 0.
Δεδομένου ότι η F περιέχεται στο Hn για κάθε n, έπεται ότι m(S) ≤ m({Tn}) = |λn| για κάθε n, ως εκ τούτου m(S) = 0.