Adds proof and corollaries.