abc-formule afleiding