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