https://profilbaru.com/en/Complex_conjugate_root_theorem