:: deftheorem Def7 defines i_w_n JORDAN5D:def 7 :
for g being non constant standard special_circular_sequence
for b₂ being Nat holds
( b₂ = i_w_n g iff ( [b₂,(width (GoB g))] in Indices (GoB g) & (GoB g) * (b₂,(width (GoB g))) = N-min (L~ g) ) );