Theoretically Guaranteed Bidirectional Data Rectification for Robust Sequential Recommendation Appendix