Theorem 4.2: Any two empty sets are equal.

Proof: Let E₁ and E₂ be two empty sets. Then

by Theorem 4.1, and

Hence, E₁ = E₂ by the Definition 1.2.