I fall denna förmodan realiseras,