Research on Saturation and Redundancy of Documentary Evidence Retrieval from the Perspective of Evidence-based I:Fundamental Theory and Basic Dataset