>>8
では、→方向の証明をしましょう。A×Bの元(a,b)∈A×Bを勝手にとる。
このとき、仮定より、(a,b)∈C×Dである。従って、a∈Cかつb∈Dである。
この証明は理解できますか？