Лемма прокачки из <<a href="https://books.google.com/books/about/Introduction_to_the_Theory_of_Computatio.html?id=P3f6CAAAQBAJ&printsec=frontcover&source=kp_read_button#v=onepage&q&f=false" rel="nofollow noreferrer">
Вопрос: Можем ли мы изменить первое условие на for each i > 0 вместо for each i ≥ 0?
for each i > 0
for each i ≥ 0