sikel dengan twin chords ( kecuali untuk n genap dan ada salah satu chord yang
Misalkan graf = ( , ), Pelabelan product cordial adalah pelabelan titik biner
: ( ) ? {0, 1} yang menginduksi pelabelan sisi
?( , ) = ( ). ( ), ? , ? ( ) sehingga memenuhi syarat