Cho hình vuông ABCD, E, F thuộc AD sao cho AE < AF. Dựng hình vuông EFGH ở trong hình vuông ABCD. AG cắt DH tại O. Chứng minh E, O, C thẳng hàng