talk:>>518
面倒な要求を出しやがったな。
x∈A∩(B∪C)とすると、
x∈Aであり、x∈Bまたはx∈Cが成り立つ。
x∈Bならば、x∈Aかつx∈Bが成り立ち、x∈A∩Bとなる。
x∈Cならば、x∈Aかつx∈Cが成り立ち、x∈A∩Cとなる。
よって、x∈A∩Bまたはx∈A∩C. よってx∈(A∩B)∪(A∩C).
x∈(A∩B)∪(A∩C)ならば、
(x∈Aかつx∈B)または(x∈Aかつx∈C).
どっちの場合でもx∈Aであり、x∈Bまたはx∈Cも成り立つ。
よって、x∈A∩(B∪C).