もちろん、現実的な応用に
場合分けが入るのはやむを得ないと思うけど。