A Stability Theorem for Mechanical Systems With Constraint Damping