At zero, and
by continuity of at zero. Thus is always differentiable there, with , regardless of whether exists.
At , if is differentiable, the product rule applied to proves that is differentiable. Conversely, if is differentiable at , the function is differentiable on a neighborhood of . Apply the product rule to on that neighborhood. This proves the differentiability restored by a quadratic zero equivalence:
At a nonzero differentiability point, .