Finished proof of corollary in composition.tex