Då återstår blott antagandet om ettstats