Guaranteed for all vector spaces V,W. Identity Transformation I:V→V given by I(v)=v Proof Check that I is linear We want to check I((a⊡u)⊞(b⊡v))=(a⊡u)⊞(b⊡v) by defn of I =(a⊡I(u))⊞(b⊡I(v)) by defn of I Therefore, I:(v,⊞,⊡)→(v,⊞,⊡) is linear