Comment by formally

You should look into the pigeonhole principle.