通过证明顶点个数至少是6的4-正则无爪图中一定包含一个不连通的2-因子,说明了在无爪图中猜想“一个4-正则图是2-因子Hamiltonian的,当且仅当G≌K5”是成立的.因此要继续证明该猜想,只需其对包含K1.3的4-正则图成立即可.