complete proof of first_succ_and_second_distinct
complete proof of first_succ_and_second_distinct

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord