部分抽出の不定理