連続関数fが、高々可算個の実数xを覗いてf(x)=xになることが分かってるなら
すべての実数xに対してf(x)=xになると結論できますか。