is any inductive number,

will be the relation of

to

(for any

), and