Cho tứ giác ABCD có hai đường chéo AC và BD cắt nhau tại O thoả mãn OA = OC và OAD^=OCB^. Chứng minh tứ giác ABCD là hình bình hành.