Utgående från det riktiga antagandet,