Här skulle bland annat bevisas,