Теорему Ферма доказали, в начале этого века. Несколько десятков страниц ссылок на теоремы и предыдущие доказательства - уж никак не легкое и элегантное решение, которое просто не помещается на полях))
"Формула Кардано" была найдена другим математиком, кажется, Тартальей, Кардано хитростью ее заполучил, правда потом с ней работал, вроде даже усовершенствовал - подробностей я уже не помню)