“…Indeed, Grushko's theorem (see the proofs, for example, in [19,33]) ensures that every tuple generating a group G 1 * G 2 is Nielsen equivalent to a tuple (T 1 , T 2 ) where T 1 generates G 1 and T 2 generates G 2 . Note also that the statement of Theorem 9.1 holds for infinite cyclic groups (and, moreover, for finitely generated free groups).…”