Proved first step of proof on page 675 in the pdf