for r being non zero non unit Real holds
( op2 (op1 r) = (r - 1) / r & op1 (op2 r) = 1 / (1 - r) & op1 (op2 (op1 r)) = r / (r - 1) & op2 (op1 (op2 r)) = r / (r - 1) )