集合Ｍと集合Ｎの直積Ｍ×Ｎ＝Φならば
Ｍ＝ΦまたはＮ＝Φであることを証明せよ

自明なことのように思えるのですが
ちゃんと証明するにはどうしたら良いでしょう
お願いします