DOTLAN EveMaps

u'Given any two bounded subsets A and B of a Euclidean space in at least three dimensions, both of which have a nonempty interior, there are partitions of A and B into a finite number of disjoint subsets, A = A_1 \u222a ... \u222a A_k, B = B_1 \u222a ... \u222a B_k, such that for each i between 1 and k, the sets A_i and B_i are congruent.'