Förutsättningen är , attgenom