when flipping and turning the second triangle, so that it is oriented as the first triangle (we see DE corresponds to AB - consider at what corner point the right angle is : at A and at D; DF corresponds to AC, EF corresponds to BC), we see immediately that BCA is the same sequence of corners as the corresponding EFD.
