Действительно ли у Ферма было доказательство?