Formally we know that states 1 and 3 are equivalent because F 1 = F 3 , where F q denotes the suffix function of state q-the function defined by the automaton if the start state is taken to be q rather than 0.
so (λ(Fq)\Fq) is a residue of any residue X of Fq, as claimed.