Cho tứ giác ABCD có E là trung điểm của đoạn thẳng AB. Điểm F là trung điểm của đoạn thẳng BC. Điểm G là trung điểm của đoạn thẳng DC. Điểm H là trung điểm của đoạn thẳng AD. Hỏi tứ giác EFGH là hình gì? Chứng minh điều đó.