:: deftheorem Def1 defines i_s_w JORDAN5D:def 1 :
for g being non constant standard special_circular_sequence
for b₂ being Nat holds
( b₂ = i_s_w g iff ( [1,b₂] in Indices (GoB g) & (GoB g) * (1,b₂) = W-min (L~ g) ) );