oh come on. even andrew wiles made a mistake and his original proof was still instrumental for the final proof of fermat's last theorem