Mở rộng định lý Bézout cho trường hợp hệ phương trình siêu việt thực - Lê Thanh Trúc (Trường Đại học Đà Lạt, 1997)