Finished main chunk of proof of Grayson's theorem.