Man kan således antaga total-summanaf