In Lemma 4, the extra condition that a is greater than or equal to N is needed, and hence also that y is strictly greater than N so that the former is always possible.