Proof. Prove the Heaviside formula A_i = P(r_i)/Q'(r_i) for simple roots of