カルタン・倉西の延長定理