Det kan således nu antagas,