Operation between two Subspaces. Given

Direct Sum Theorem