△DEF≡△DCF （2辺とその間の角が等しい）
より、∠DEF＝∠DCF＝90°となる。
これより∠BEF＝45°がわかるから、△EBFは90°，45°，45°の直角三角形
（つまり直角二等辺三角形）になる。