Lätom otz först fastställa en stor grundsats,