(1) ต่อ BA ออกไปยังจุด P โดยที่ ∠BPC = α   <=>   ∠BPC = ∠CBP   <=>   ∆BCP เป็น ∆หน้าจั่ว ที่มี ∠C เป็นมุมยอด   <=>   CP = BC

นอกจากนั้น ยังได้ว่า ∠ACP = α   <=>   ∠ACP = ∠APC   <=>   ∆ACP เป็น ∆หน้าจั่ว ที่มี ∠A เป็นมุมยอด   <=>   AP = AC   <=>   AP = BD

(2) สังเกตว่า ∆BCD ≅ ∆ACP ด้วยความสัมพันธ์แบบ ด-ม-ด (BD = AP, ∠CBD = ∠APC, BC = CP)   =>   CD = AC