1) Substitution from definition.
2) We use
3) We are changing the order of 3 and .
4) We add 1 and 3 and we get
5) Substitution from definition (but the other way than at the beginning).
4.5m questions
5.7m answers