Before revision:  For the target quantity, whether it is (i)-( iii ), I prove pointwise root-n consistency, Gaussian approximation, and semiparametric efficiency by finite sample arguments.
After revision:  For the target quantity, whether it is (i)-( iv ), I prove pointwise root-n consistency, Gaussian approximation, and semiparametric efficiency by finite sample arguments.