It is only necessary to prove that the dynamic update is a contraction mapping restricted by this one-following-one dynamic process.
for the proposed ADF update rule, it is only necessary to prove it is a dynamic contraction mapping.