ある実数の開区間Iを定義域とする、Iで微分可能な2個の関数f,gが与えられた
とき、あるa∈Iについてf(a)=g(a)で、かつ、導関数がf'=g'ならば、f=gである。

は、正しいですか？