finner således , att prog;