Я старался избежать длинных численных вычислений, тем самым следуя постулату Римана, доказательства должны быть переданы через идеи, а не объемные вычисления.