Elter antagandet af ettförut