theorem Th3: :: TOPREAL8:3

for D being non trivial set
for f being V25() circular FinSequence of D holds len f > 2