Då , såsom vi visat,