Uti den först angifna förutsättningen,