A,B,Cはいずれも自然数を要素とする集合であり,Aの任意の要素aとBの任意の要素bに対し,a+b∈Cが成り立っているとする.
このとき,次のことを示せ.

(1)略
(2)Cの要素がすべて偶数であり,しかもA∩B≠φ(空集合)であるとき,A∪Bの任意の要素m,nに対し,m+nは偶数である.

という問題なのですが,しかも〜,の文は必要あるのですか?