ノート:クラトフスキ定理