,

, of such a kind that the relation

is satisfied identically. That is to say: If we substitute their expressions in

,

,