有限積分拡大の性質と応用