Thanks for the question! Sure, let’s go step-by-step through this problem. So we’re first told that no mathematician today wouldn’t accept the results of some complex calculation as proof for a theorem. Then we’re told this wasn’t the case earlier, and shown an example of a simple theorem that needed an enormous proof. Now we’re looking for a statement that has to follow from these sentences. Let’s take a look at (A). (A) tells us that today, there are some mathematicians who both believe simple theorems should have simple proofs and would consider accepting the results of a complex proof for a simple theorem. Remember our first sentence: that no mathematician today would refuse to accept the results of a complex computation for the proof of a theorem, even if it were a simple theorem. Thus, we know that (A) must be true, and so (A) is the correct answer. Hope this helps! Feel free to ask any other questions that you might have.
hterhune86May 12, 2020
@shunhe could you please elaborate further on this. I'm not sure if you are short cutting to save time or what but a longer, more elaborate, explanation of the whole game would be most beneficial to me.
