Laid out proof with intermediate results.