>>770-771
もしや
A∩B=φのときn(A∪B)=n(A)+n(B)
から
n(A∪B)=n(A)+n(B)-n(A∩B)
が証明可能ということでしょうか？？

馬鹿ですみません