この定理証明してクレメンス

f,gを区間I上で定義された連続関数とする
任意の有理数x∈Iにおいてf(x)=g(x)⇒区間I全体で f = g