(4)はΣのない形って指定があった