small edits and added derivation of power rule for differentiation