prove all the easy cases for full Zave invariant
prove all the easy cases for full Zave invariant

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