.
Let x be an element of the set πΆβπ·.
It means that x does belong to C and does not belong to D.
In other words, x does belong to C and does belong to D'.
Hence, x belongs to the intersection πΆβ©π·'.
+----------------------------------------------+
| Thus we proved that |
| the set C-D is the subset of the set πΆβ©π·'. |
+--------------------------------------------- +
In opposite, if x is an element of the set πΆβ©π·',
then x does belong to C and does belong to D'.
It means that x does belong to C and does not belong to D.
In other words, x does belong to the set C-D.
Hence, x belongs to πΆβ©π·'.
+-----------------------------------------------+
| Thus we proved that |
| the set πΆβ©π·' is the subset of the set C-D. |
+-----------------------------------------------+
It implies that C-D = πΆβ©π·'.
At this point, the proof is complete.