The proof of (i) and (ii) is standard, see [1]}. The proof of (iv) was done above,
whereas (iii) is a direct consequence of (iv), cf. [2]}.

Доказательство (i) и (ii) является стандартным, см. [1]. Доказательство (iv) было выполнено выше, тогда как (iii) является прямым следствием (iv), см. [2].