Hafva vi således visat , attD.-B:s