theorem Th105: :: HILB10_7:105

for f, g being FinSequence st f ^ g is with_evenly_repeated_values & g is with_evenly_repeated_values holds
f is with_evenly_repeated_values