To prove that △DFE ~ △GFH by the SAS similarity theorem, it can be stated that StartFraction D F Over G F EndFraction = StartFraction E F Over H F EndFraction and ∠DFE is 4 times greater than ∠GFH. ∠FHG is One-fourth the measure of ∠FED. ∠DFE is congruent to ∠GFH. ∠FHG is congruent to ∠EFD.