Regneforskriften for eksponentielle funktioner - bevis