Allt som allt uppgår således antaletaf