Por ejemplo, 2 + 2 y 3 + 1 son necesariamente iguales porque un grupo de 4 cosas puede disponerse en dos grupos de 2 cosas y en un grupo de 3 cosas y otro de 1.