Tahap 1: barisan dari panduan 42 berada di \(C\) dan menuju \(c\text{,}\) sehingga hipotesis menentukan keanggotaan \(c\text{.}\) Tahap 2: karena \(c\in C'\) dipilih sembarang, simpulkan satu inklusi himpunan.