数学の証明の問題です。濃度の積 m,nの定義がwell-definedであることを
示せ。

これの回答をお願いします。