Det är inte uppenbart varför formeln ser ut som den gör. Det finns ett bevis, men det är ganska krångligt!