On the bounded condition of an o-minimal structure (Q2474986)

In the paper under review the author proves the following: Given an ordered vector space and a function between powers of this vector space which is definable in the language of ordered vector spaces. Then the image of a bounded set under this function is again bounded. This result is a very easy consequence of the well-known fact that the definable functions are piecewise affine which itself follows from the well-known and elementary fact that the theory of ordered vector spaces has quantifier elimination (see Corollary (7.6) and Corollary (7.8) on p. 27 of [\textit{L. van den Dries}, Tame topology and o-minimal structures. Cambridge: Cambridge University Press (1998; Zbl 0953.03045)]. The author reproves in this paper quantifier elimination and gives a rather complicated proof of the statement above.