such that the given relation holds between

and

and between

and

. Thus "paternal grandfather" is the square of "father," "greater by 2" is the square of "greater by 1," and so on.