C'est un argument physique, pas mathématique.
Déplacer l'occupant est distinguable physiquement de déplacer le numéro mais mathématiquement il s'agit d'un changement du graphe de la relation occupant/numéro et je ne vois pas comment on peut considérer la solution consistant à déplacer les occupants différentes de celles qui consiste à déplacer les numéros dés lors que le graphe obtenu est le même .
-----



), c'est à dire avant, et le premier n'est plus le premier, et son café du matin ne sera plus aussi chaud, mais on peut aussi déplacer les clients sans modifier l'hôtel (