>>665
Ｍ⊆Ｍ'、Ｎ⊆Ｎ'　x∈Ｍ×Ｎ　と仮定する。
･･･
中略
･･･
∴x∈Ｍ'×Ｎ'
∴Ｍ×Ｎ　⊆　Ｍ'×Ｎ'
∴以上より主張は成立。