Now we substitute in the first formula: