Operator Theory: A Comprehensive Course in Analysis, Part 4