We found that:
To subtract 1 from the first term, we note
that 
... But, after subtracting these fractions, we can also dispense with the denominator (mean fitness) because the whole thing is zero only if the top line is zero, regardless of what happens to the mean fitness on the denominator. So, at equilibrium:
QED
