theorem Th25: :: JORDAN23:25

for f, g being FinSequence st f ^' g is constant holds
f is constant