定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり、矛盾
自明だろう