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