Properties Of Direct Sum Definition