and

, and if the converse happens with every pair of terms such as

and

, it is clear that for every instance in which the relation

holds there is a corresponding instance in which the relation