Klikbevis a-formel for eksponentialfunktion - rød