В 1838 Лебег предложил доказательство квадратичного закона взаимности, основанного на подсчете количества решений некоторого сравнения. Это было не первое решение этой задачи, и за почти четверть тысячелетия было предложено четверть тысячи доказательств. Доказательство Лебега сегодня -- это оцифрованные потрепанные страницы старого французского математического журнала. Похожие доказательства были позднее воспроизведены, но не без недостатков. Поэтому я попробую на ваших глазах передоказать это утверждение.