Förutsättningen för antagandet afdet