Slutsumman af detta räsonnemang blir följande: