Доказано следующее