Then the middle expression is well-defined on the domain of \(P\) . The first equality holds on the domain of the LHS of (REF ), while the second equality holds on the domain of the RHS of (REF ). The auxiliary function \(K_P\)  is useful because of the following result from [1]}. A detailed proof can be found in [2]}.
