(0、1]×(0、1]〜(0、1]
の証明ができません。全単射になるfが設定できないです