おそらくその問題は
A∩B≠φから、x:{x∈A∩B}を取り出し
AもBも全ての要素がxと偶奇が等しいことを示す
というような解答を想定してるんじゃないだろうか？