theorem Th3: :: TOPREAL8:3

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