https://1library.org/document/y4w6k189-respectively-continue-abbreviate-direct-sum-p-copies-su.html