Оскільки AD=BK=CE, AB=BC=AD, а також кут DBK=куту KCE=куту EAD =120 градусів, то BD=CK=AE і трикутники DBK, KCE та EAD - рівні за двома сторонами та кутом між ними. Тоді DK=KE=ED і трикутник DKE - рівносторонній.