前提を省略