(以下の"内部直和"を見よ。