Superpositions of elementary arithmetic functions

A new concise proof of the following theorem is found: the system of four functions {x + y, x ∸ y, [x/y, 2 x } induces the class of Kalmar elementary functio...