[spec] 4f - conjugate root theorem