derived the formula