om antagandet , skall detefter