theorem Th37: :: GOBOARD7:37

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