Question ID:PT7 S1 Q12 Passage:No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstration of the truth of a theorem. In 1976, however, this was not the case. Some mathematicians at that time refused to accept the results of a complex computer demonstration of a very simple mapping theorem. Although some mathematicians still hold a strong belief that a simple theorem ought to have a short, simple proof, in fact, some simple theorems have required enormous proofs. Stem:If all of the statements in the passage are true, which one of the following must also be true? Correct Answer Choice:AChoice A:Today, some mathematicians who believe that a simple theorem ought to have a simple proof would consider accepting the results of an enormous computation as a demonstration of the truth of a theorem. Choice B:Some individuals who believe that a simple theorem ought to have a simple proof are not mathematicians. Choice C:Today, some individuals who refuse to accept the results of an enormous computation as a demonstration of the truth of a theorem believe that a simple theorem ought to have a simple proof. Choice D:Some individuals who do not believe that a simple theorem ought to have a simple proof would not be willing to accept the results of an enormous computation as proof of a complex theorem. Choice E:Some nonmathematicians do not believe that a simple theorem ought to have a simple proof.