Tahap 1: hipotesis memberi \(A\subseteq C\text{,}\) sedangkan langkah sebelumnya memberi \(A'\subseteq C\text{.}\) Tahap 2: ambil gabungan dan ingat bahwa \(C\) dipilih sembarang di antara superset tertutup \(A\text{.}\)