>>458

> x⊆（A×C）∩（B×D）を任意に取る
> すると、x⊆A×Cであるから
> x=(x1、y1)となるx1⊆A、y1⊆Cが存在する

やり直し。