allmännaste satser , är således onödig.