Định lí VI ÉT phương trình bậc hai một ẩn có hai nghiệm phân biệt