Det återstår således endast att antaga ,att