Hvad vi nu anfört kan rekapituleras i följande: