関数解析の基礎 吉田
三大定理がソーカル流で証明してある