>>246
濃度の積が(同じ濃度を持つ集合のとり方によらず)濃度のみによって決まることと
有理数の濃度が可算であることとから明らか。