Bland vilkoren för antagande är ,att