微分して |x^2-1|+x^2 になる関数は存在しないと言う記述を見たのですが
これの証明をどなたかしてもらえませんか？