Klikbevis a-formel lineære funktioner