for F, G being Function-yielding Function st F is "1-1" & G is "1-1" holds
G ** F is "1-1"