>>607
＞定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり
なるほど。「fの像は高々可算集合」ってとこに気付きませんでした。
（有理数の集合＋有理数の像、なんですね）
私のように気付かなかった奴からすると、その１行の説明でも立派な証明で、
自明って言葉のニュアンスとは違って感じたりもします。