Alltså återstår att visa,