generated at
大事なところが省略されている
大事なところ + 省略されている
自明