Рассмотрим худший случай. Первые два вынутых носка оказались разного цвета (синий и зеленый). Тогда третий носок обязательно будет либо синим, либо зеленым. Таким образом, среди трех носков обязательно будет два одного цвета.
Ответ: доказано, что два носка из трех будут одного цвета.