theorem Th3: :: TOPREAL8:3

for D being non trivial set
for f being constant circular FinSequence of D holds len f > 2