Till detta antal är , medförutsättning