一个用来证明三角形EFD是等边的例子，因为三角形ABC是等边的，AE = BF = CD，老式线条绘图或雕刻插图.