Karena \(\overline{A}=A\cup A'\) dan \(A\subseteq C\) sudah diketahui, satu-satunya inklusi yang masih perlu dibuktikan ialah \(A'\subseteq C\text{.}\)