Deje $n_i$ el número de personas de altura $x_i$. Sin pérdida de generalidad
$$
n_1\ge n_2\ge \cdots \ge n_t>0,
$$
donde $t$ es el número de distintas alturas.
Supongamos por el contrario que $n_1<7$. Si $n_4<2$,$n_1+n_2+n_3\le 3n_1\le 18$, y, en consecuencia,$t\ge10$, debido a $n_k=1$ todos los $k$ tal que $4\le k\le t$, y por lo tanto
$$(t-3)=\sum_{k>3}n_k=25-(n_1+n_2+n_3)\ge7.$$
Esta es una contradicción, ya que podemos seleccionar un grupo de nueve personas con distintas alturas de violación de la asunción. Por lo tanto,$n_4\ge2$. Si $t\ge5$, entonces podemos volver a formar un grupo de nueve contradiciendo la suposición de: dos personas a las alturas $x_1,x_2,x_3,x_4$ cada uno y uno de altura $x_5$. Por lo $t=4$. Pero $25=n_1+n_2+n_3+n_4\le 4\cdot6$, lo cual es una contradicción.