Klikbevis for a-formlen i en lineær funktion