Här återfinna vi således den storagrundsatsen