../../Task/Diversity-prediction-theorem/Pascal-P