その定理は大筋どのような考え方で定義を行うのでしょうか？
また、証明が書かれた本でお薦めのものがあったら教えていただ
けませんか？