Without loss of generality, assume that 
(the result is symmetric in the rows and columns), and let
. We begin the proof with the following preliminary result, where
denotes any valid scheduling of the tiles (
is the
time-step at which the execution of I begins):
