導出可能性条件D2