equinumerosity summability equisatisfiability equidecomposability quasimodularity nonsummability summability method equidifference equilaterality denumerability