Сегодня доказал шефу эту теорему:-)