Då vi antagit ,att