1. EG = HJ (Given)
2. EG = EF + FG, HJ = HF + FJ (Seg. Add. Prop.)
3. EF + FG = HF + FJ (Subst. Prop.)
4. EF = FJ (Given)
5. FG = HF (Subtraction Prop.)
