Dokazte nasledujuce tvrdenie (lema 7 z prednasky):
Hint: postupujte indukciou vzhladom na j. Najprv dokazte, ze tvrdenie plati pre j=1 (zaciatocne konfiguracie). V indukcnom kroku pre rozne tvary riadku s dokazte, ze aj nasledujuce konfiguracie budu rovnake.