Noether's symmetry theorem for nabla problems of the calculus of variations

We prove a Noether-type symmetry theorem and a DuBois-Reymond necessary optimality condition for nabla problems of the calculus of variations on time scales.