次元定理がキモだから、それが成り立つ範囲で成り立つかな。でも核は難しいらしいけど。