Då , såsom vi visat ,alla