Regneforskriften for lineære funktioner - klikbevis