Clearly, useless nonterminals can be eliminated from any head grammar without affecting the language of the grammar.
ba 19 c 17 must be a substring of v i,1 = w i+1,1 , which shows that ( †) holds with i + 1 in place of i.