Над этим condition (1)(a) can be proved я думал 2 дня, только что, кажется, придумал доказательство. Кажется, факт естественный, но в интернете никто этого не доказывает почему-то. А мораль одна: как же хочется, чтобы люди статьи писали нормально, а не пропускали им одним очевидные вещи
