じゃあf(0)=f(a)は場合分けのための公式なんですか???