Understanding why the Solution to Silver 2021 Feburary Problem 3 is correct


In the above editorial, the following is stated under the second provided solution:

"Alternatively, note that all_onesi,j[k]=all_onesi,j−1[k]&ok[j][k]all_ones�,�[�]=all_ones�,�−1[�]&��[�][�]. So let’s fix i� and compute


in order."
I’ve drawn out TCs to see that this is true, but I’m having trouble intuitively understanding why. Would someone mind outlining a “proof”?

To be more specific, my confusion lies in understanding why and how we can transition from the 1D case to cover the 2D case in the way the problem is doing that