Bài 4

Lập luận vừa dùng có dạng tổng quát: với một đỉnh gốc bậc $r$ bất kỳ, mọi đỉnh ở khoảng cách hai có bậc $r$. Vì điều kiện (i) loại trừ $m=1$, ta chọn $k\ne i$. Cạnh có được ở bước trước giữa $C_{ij}$ và một $C_{kh}$ khiến $B_i$ cách $C_{kh}$ hai bước; vì $\deg(C_{kh})=m$, suy ra $\deg(B_i)=m$. Vậy $A$, mọi $B_i$ và mọi $C_{ij}$ đều có bậc $m$.