導出を帰結にあらためた。