Remove extraneous subscript
Merge pull request #385 from rwbarton/lemma-10.3.22

Remove extraneous subscript