A rigorous bound on error in backward-difference elastoplastic time-integration