theorems of direct sum