Således måste antagas ,att