実数xにxを対応させる関数は、全ての実数値xで連続です。
だから、任意の実数xにxを対応させる関数は、実数上の連続関数です。
一行目の実数値xで連続を示すのに、xが連続関数であることは使わなくても証明できる。