Utgår man från det sista antagandet ,då