Proof by Venn Diagram