Hãy viết giả thiết, kết luận của câu a trong Định lí 4.

GT	Hình chữ nhật ABCD có AB = AD.
KL	ABCD là hình vuông.

Ta có thể viết giả thiết đối với cặp cạnh kề khác như: AB = BC; BC = CD; CD = AD.