direct sums

1. REDIRECT Direct sum

{{Redirect category shell|1=

{{R from plural}}

}}