>>217
暗黙的にx≠aを仮定しているのではないでしょうか。