direct sum