c-numbers: removed a redundant lemma
func-calculus: removed a redundant lemma, finished with the differentiation section
Removed nonbreakable spaces before references with a full word in them
c-numbers: rearranged long equations
func-calculus: working on the integration section