Row step

We perform on the rows the same construction we have performed on the columns, thus enlarging H_i to #math768#H_i+1 : H_i⊆H_i+1⊆#tex2html_wrap_inline13395#
∩W.

#Example4121#

#Lemma4124#

#proof4152#

#Example4190#

#Claim4240#

#History4249#

#Example4273#