I am currently reading vellemans how to prove it for the purpose of being able to construct a proof on my own. I would like to carry on this knowledge to also help me out with spivaks calculus So the problem is:
Prove that if a and b\c are disjoint, then a\bigcapb\subseteqc.
1.goal...