...

• Iterations $(I_1^1,I_2^1) \cdot {\bf U}$ and $(I_1^2,I_2^2) \cdot {\bf U}$ will also read and write the same location.

• The transformation U is valid iff
  
  $$(I_1^1,I_2^1) \cdot {\bf U}~\mbox{precedes}~(I_1^2,I_2^2) \cdot {\bf U}$$
  
  
  whenever there is a dependence between (I₁¹,I₂¹) and (I₁²,I₂²).

• In the transformed loop the dependence distance vector is also transformed, to
  
  $$(D_1,D_2) \cdot {\bf U}$$