theorem :: FINSEQ_6:100
for D being non empty set
for f being non trivial circular FinSequence of D holds rng (f /^ 1) = rng f