“…This has played an important role in the proof of Li and Li ([19,20,23]) of the Harnack type inequality and the existence and compactness theorems for a fully nonlinear version of the Yamabe problem on locally conformally flat manifolds, under the circumstance that the associated Liouville type theorems were not available. Later they obtained such Liouville type theorems in [21] and [22], see also [23]. Our proof of Theorem 1.1 is by contradiction argument, as in the proof of (14) in [31], and therefore does not yield explicit constants δ and C 0 .…”