это доказательство любой теоремы, isn't it?