Thanks to Lu Xie for pointing this out:
"A polynomial-time algorithm for a class of linear complementary problems" is published in 1989 and it does not have Lemma 2.5.
The three authors published another paper in 1991, "An iteration potential reduction algorithm for linear complementarity problems", which does have Lemma 2.5.