Extensions of arc-analytic functions

We prove that every arc-analytic semialgebraic function on an arc-symmetric set admits an arc-analytic semialgebraic extension to the whole ambient Euclidean space.