För antagandet , attden