Лемма К.Брауна и еще пара утверждений #абстрактнаяматематика