https://1library.net/document/yjd74epy-results-singular-value-inequalities-compact-operators.html