SPrSS <-> Veblen

SPrSS:

Veblen:

Converts SPrSS to corresponding expression in Veblen function and vise versa.
Note that this correspondence is unproven.

Version 1