Before revision: Then, we can say that the following statements are equivalent: 1.
After revision: Then, we can say that the following statements are equivalent: