Recursive Form of Generalized Termial

Theorem
The termial function as defined on the real numbers fulfils the identity:


 * $x? = x + \left({x - 1}\right)?$

Proof
By definition of the termial on the real numbers:
 * $x? = \dfrac {x \left({x + 1}\right)} 2$

Thus: