proved additional equivalence