Finished proof of main theorem of composition.tex