Доказана одна из сложнейших гипотез математики