Changed labels in derham section

Edited all labels so they start with equation, prop etc.
Changed short exact sequence lemma so maps are not mentioned in statement