fix step relation and functions in ultimate churn free stabilization theorem
fix step relation and functions in ultimate churn free stabilization theorem

DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation