Under denna förutsättning antage vi , attdeli