Förutsatt är , attdi-