任意取12个自然数,必至少有几个自然数被11除的余数相同