define F to consist of v ,all edges parallel to v . (figure 6-18 shows Fi in the case where n=3 .) in general ,we define the edge set of the factor fi to consist of v all edges parallel to v and all edges parallel to v . all subscripts different from 0 are positive and expressed modulo 2n . then K2n+1=F , where f is the Hamiltonian cycle