Cho hình 107, trong đó ABCD là hình vuông. Chứng minh rằng tứ giác EFGH là hình vuông.