A separability theorem for dynamical systems admitting alternative Lagrangian descriptions