ユークリッド原論　命題６「１つの三角形で２つの角が互いに等しい角に対する辺もまた互いに等しいに。」
について
〈証明〉
角ABCが角ACBと等しい三角形をABCとせよ
辺ABとまた辺ACと等しいことをいう。

大きいほうをABとせよ。大きいABから小さいACに等しいDBを切り取り、DCを結びなさい。

DBがACと等しく、BCが共通なので、それゆえ、２辺DB,BCは２辺AC,CBとそれぞれ等しく、『角DBCは角ACBと等しい。』それゆえ、底辺DCが底辺ABと等しく、三角形DBCが三角形ACBと等しく、小さいほうが大きいほうと等しいとなるが、不合理である。

それゆえ、ABはACと等しくないことはない。したがって等しい。

それゆえ、１つの三角形で２つの書くが互いに等しければ等しい角に対する辺もまた互いに等しい。

と説明されてるのですが、『』のことが命題６までに証明した命題、および公準、定義、共通概念ではどうも説明できません。
お願いします。