Studiując nowy dowód twierdzenie Vizinga autorstwa Kostoczki natrafiłem na drobny fakt, którego nie rozumiem. Chodzi o fakt z podrozdziału "Proof of theorem 1" -> "Claim 2", że \(\displaystyle{ z}\) nie należy do zbioru podanego w dowodzie. Poniżej link do materiałów.