Återstår således blott det antagande,