Ich bin mir nicht sicher, ob die obige Argumentation schon alle Feindschaftsverteilungen umfasst. Daher habe ich folgende Überlegungen angestellt:
Wenn 6 Räume nicht reichen, dann gibt es einen Wichtel, der mit 6 anderen verfeindet ist. Weiter ohne diesen einen Wichtel.
Es bleiben:
9 Wichtel, 14 Feindschaften
Wenn 5 Räume nicht reichen, dann gibt es einen Wichtel, der mit 5 anderen verfeindet ist. Weiter ohne diesen einen Wichtel.
Es bleiben:
8 Wichtel, 9 Feindschaften
Wenn 4 Räume nicht reichen, dann gibt es einen Wichtel, der mit 4 anderen verfeindet ist. Weiter ohne diesen einen Wichtel.
Es bleiben:
7 Wichtel, 5 Feindschaften
Wenn 3 Räume nicht reichen, dann gibt es einen Wichtel, der mit 3 anderen verfeindet ist. Weiter ohne diesen einen Wichtel.
Es bleiben:
6 Wichtel, 2 Feindschaften
Wenn 2 Räume nicht reichen, dann gibt es einen Wichtel, der mit 2 anderen verfeindet ist. Weiter ohne diesen einen Wichtel.
Es bleiben:
5 Wichtel, 0 Feindschaften
1 Raum reicht für diese 5 Wichtel. Plus je ein Raum für die 5 oben entfernten Wichtel -> 6 Räume reichen.