Det återstår således att visa,