Very well done, succinct and clear, and in a friendly voice. I will be showing this to my son, who has recently asked me about how to prove the formula.
Best wishes to you, Abi.

Mark from Seattle