Berghofer: explicit Dirichlet's (pigeonhole) principle.