坂下補題４

図において
∠CAB = 18°,∠CBA = 30°,∠DEF = 78°
AB = DE で BC = EF とするとき
DE = DF である。つまり ∠DFE = ∠DEF である。