Я вот сейчас читаю историю доказательства Большой теоремы Ферма.