Tvärtom , om en grundsats,