省略三段論法 http://okane.robots.jp/2021/10/13/%e7%9c%81%e7%95%a5%e4%b8%89%e6%ae%b5%e8%ab%96%e6%b3%95/