The article presents a proof of a main result in applied mathematics related to control systems. The researchers use Taylor expansions of functions to analyze performance functions. They show that certain conditions are necessary and sufficient for the theorem to hold. The study focuses on H-infinity methods in frequency domain for single-input-single-output systems.