Xét lục giác lồi ABCDEF có góc A = góc B = góc C = góc D = góc E = góc F
Kéo dài các cạnh AB, CD, EF chúng cắt nhau tạo thành tam giác MNP. Dễ thấy tam giác MNP là tam giác đều nên MN = NP = PM  (1)
Mặt khác các tam giác MBC, NAF và PED cũng là những tam giác đều 
nên MB = BC = CM;
        NA = NF = FA;
        PE = ED = DP.
Ta có: EF - BC = NP - NF - EP - BM = MN - NA - BM - ED = AB - ED
Chứng minh tương tự ta được: EF -BC = CD - AF = AB - ED