proof of direct sum