Question ID:PT49 S2 Q22 Passage:A mathematical theorem proved by one mathematician should not be accepted until each step in its proof has been independently verified.  Computer-assisted proofs generally proceed by conducting a vast number of calculations‚ surveying all the possible types of instances in which the theorem could apply and proving that the theorem holds for each type.  In most computer-assisted proofs there are astronomically many types of instances to survey, and no human being could review every step in the proof.  Hence, computer-assisted proofs involving astronomically many types of instances should not be accepted. Stem:Which one of the following is an assumption on which the argument relies? Correct Answer Choice:EChoice A:The use of the computer to assist in the proof of mathematical theorems has greatly simplified the mathematician's task. Choice B:Most attempts to construct proofs of mathematical theorems do not result in demonstrations that the theorems are true. Choice C:Computers cannot be used to assist in generating proofs of mathematical theorems that involve only a very limited number of steps. Choice D:Any mathematical proof that does not rely on the computer cannot proceed by surveying all possible types of instances to which the candidate theorem might apply. Choice E:The use of an independent computer program does not satisfy the requirement for independent verification of each step in a proof that is extended enough to be otherwise unverifiable.