Vì hội đếm được các tập có
độ đo zero cũng là tập có
độ đo zero, do đó
0 ≤ B A ≤ i 1 B i A i 0 . Ta suy ra rằng B A 0 , như vậy
E i 1 E i ∈ M ∗ , nếu E i ∈ M ∗ với i 1, 2, 3, . . .
Cuối cùng, nếu các tập E i ∈ M ∗ là rời nhau từng đôi[r]