Erforderliga wilkor för antagandetill