@Baykus, venn diagram'i sadece ispatin taslagi olabilir. @irani, bu taslagi kullanarak ispat yapabilirsin.
x∈A al ve x∈A ve x∈A∪B oldugunu goster. (bariz bu aslinda)
x∈A∩(A∪B) al ve x∈A oldugunu goster. (Bu daha bariz, cunku x∈A∩D ise x∈A ve x∈D olur).