“…Assumption (A ) follows from (28) i.e., Fix T z ∈ H (x, Tx) for all x ∈ D and x ∈ Fix T ∩ D ⇐⇒ x = z. Assumption B follows from fact that for any x ∈ D ⊂ D, z ∈ C(x), hence z ∈ H ( w, P C(x) ( w)) and therefore P C(x) ( w) ∈ B( w+z 2 , w−z 2 ) = D (see (8)). Assumption (C ) follows from fact that for any…”