for x, y being Element of 2 holds Set_to_zero . (x,y) = Set_to_zero . (y,x)