Tahap 1. Pindahkan salah satu daerah poligonal tanpa mengubah pasangan sisi berlabel sama.

Tahap 2. Gunakan identifikasi sisi \(a\text{,}\) \(b\text{,}\) dan \(c\) untuk menyederhanakan batas.

Tahap 3. Periksa bahwa sisi potongan \(x\) dan \(y\) membentuk satu lingkaran batas.