If just one solution will do, instead of the full solution set, it is actually sufficient if only the functional identity h(h−1(x)) = x holds.
Якщо тільки одне рішення буде робити, замість повного набору рішень, це насправді досить, якщо тільки функціональної ідентичності π1(x, y) = c тримає.