「證明論」：各本之異

则所存∠甲丙乙=∠甲乙丙（公论3：等量递减）。

故其底之外两角等（等边△其三角俱等）。