remove unnecessary example lemma
remove unnecessary example lemma

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