5.2

Direct sums