I fall denna förutsättning håller streck , är,