入力されたワードを説明してください。
クザンの定理
クザンの定理（）は次のような実解析学における定理である:
この結果はアンリ・ポアンカレの学生であるピエール・クザンによって1895年に確立・証明されたものである。それはコンパクト性に関するハイネ・ボレルの被覆定理の原型（formula_1 のコンパクト部分集合の任意の被覆に対するそれ）の拡張になっている。「クザンの定理」は一般にはアンリ・ルベーグに帰着でき、「ボレル＝ルベーグの定理」と呼び替えられた。ルベーグは1898年にこの結果を思いつき、1903年に彼の学位論文において証明した。
現在では、これは次のように述べられる:
さらに、「クザンの定理」（という言葉）は主としてヘンストック＝クルツヴァイル積分においてのみ用いられ、しばしば Fineness Theorem あるいはクザンの補題と呼ばれる。これは次のように述べられる：