theorem Th38: :: GOBOARD7:38

for f being constant standard special_circular_sequence
for i being Nat st 1 < i & i <= len f & f /. i = f /. 1 holds
i = len f