https://9dok.org/document/q7wl403d-proved-aforementioned-property-closed-direct-sums.html