△ＡＢＣと△ＤＥＦが与えられた時、次の条件をみたす運動φがただひとつ存在する。
φ（Ａ）＝Ｄ
φ（半直線ＡＢ）＝半直線ＤＥ
φ（Ｈ（ＡＢ，Ｃ））＝Ｈ（ＤＥ，Ｆ）
です。
どうかお願いします！