Đoán nghiệm của hệ phương trình, Hệ thức vi-ét