Tahap 1: gunakan \(\overline{A}=A\cup A'\text{.}\) Tahap 2: inklusi satu bagian gabungan, yakni \(A\subseteq C\text{,}\) sudah menjadi hipotesis.