đóng phần này của thư viện Hình học đại số (1)
Xem tài liệu Phương pháp WU trong chứng minh tự động định lý hình học