Proof. i)is trivial, and ii)follows from i).

• 证明，i）是显然的，ii）是由i）推出的。