Utgående således från en grundsats,