theorem Th5: :: FDIFF_2:5

for r being Real
for a, b being Real_Sequence st rng a = {r} & rng b = {r} holds
a = b