theorem Th5: :: JORDAN4:5

for D being non empty set
for f1 being FinSequence of D st f1 is circular & 1 <= len f1 holds
f1 . 1 = f1 . (len f1)