Häraf följer att summan afde