I wonder what they would make of a proof that invoked Fermat's Last Theorem and noted that this was proven by Andrew Wiles a few years ago, pointing at that if there are no solutions in positive integers a, b, and c for the statement a^n + b^n = c^n for any integer n > 2, and then pointing out...