二个结论，就是若三角形的二腰延伸超过底边，则二腰延长线和底边的夹角也会相等。欧几里得的证明中包括了绘制二腰延长线的辅助线，但当时的数学家普罗克鲁斯指出他没有用到第二个结论，而且若在三角形内部绘辅助线，会使证明比较简单。欧几里得的证明用到称为SAS的三角形全等，是几何原本中的上一个命题。
其他证明方式.在教科书（例如人教版数学教科书在八年级“轴对称”一章）上常见的作法是作顶角A的角平分线。此证明方式比欧几里德的简单，但在几何原本中命题9才是作角平分线，因此若几何原本中在命题5就使用角