積を分ける積分