theorem Th36: :: GOBOARD7:36

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