Cho hình thoi ABCD có 2 đường chéo AC và BD cắt nhau tại O. Từ O kẻ các các đường vuông với các cạnh và cắt các cạnh AB, BC, CD, DA tại E, F, G, H. Tứ giác EFGH là hình gì? Vì sao?