The volume of A (t) is det(A (t) ) = t k ∈ ] 0, 1 [ and by constructions its axes are all valid translations, so A is indeed a new smaller cell. This process can then be iterated in the new Euclidean space created by mapping each point x ∈ 3 to (A (t) ) -1 x, until no valid translation is left.