för dot antagandet ,att