Consult the proof of Theorem 13 on page 572