Tagged: sum of subspaces