https://9lib.org/document/y8gx83o2-arens-and-dugundji-s-decomposition-of-compactness.html