../../Task/Diversity-prediction-theorem/PascalABC.NET