符文工房3东云任务:"任取11个自然数,那么其中至少有两个数的差是10的倍数."是什么类型的?应用还是判断,如果是应用怎么答?