Started proof of Grayson's theorem.