運動の公理を用いて『大きさの等しい２つの角は合同である』事を証明する問題なのですが…


∠ＡＢＣ＝∠ＤＥＦとして
ＡＣ＝ＤＦとなるような線分を引くと
φ（Ａ）＝Ｄ
φ（半直線ＡＢ）＝半直線ＤＥ
φ（Ｈ(ＡＢ，Ｃ)）＝Ｈ(ＤＥ，Ｆ)
をみたす運動φがただひとつ存在して
φ（Ｂ）＝Ｅ'とすると
φ（∠ＡＢＣ）＝∠ＤＥ'Ｆ
∠ＡＢＣ＝∠ＤＥＦより
Ｅ'とＥが一致するので
大きさの等しい２つの角は合同である。

頑張って考えてみたのですが、全く見当違いだったり、余分な箇所や不足した箇所などがあれば、ぜひ教えて下さい！お願いします!!