Misc

Fixed an error in composition.tex
Added a small corollary to the end of func-fact.tex