<prompt> Nadharia ya hisabati iliyothibitishwa na mtaalamu mmoja wa hisabati haipaswi kukubaliwa hadi kila hatua ya uthibitisho wake imethibitishwa kwa kujitegemea. Uthibitisho unaosaidiwa na kompyuta kwa ujumla huendelea kwa kufanya idadi kubwa ya hesabu -- kuchunguza aina zote zinazowezekana za matukio ambayo nadharia inaweza kutumika na kuthibitisha kwamba nadharia inashikilia kwa kila aina. Katika uthibitisho mwingi unaosaidiwa na kompyuta kuna aina nyingi za matukio ya kuchunguza, na hakuna mwanadamu anayeweza kukagua kila hatua katika uthibitisho. Kwa hivyo, uthibitisho unaosaidiwa na kompyuta unaohusisha aina nyingi za matukio ya kiastronomia haupaswi kukubaliwa. Ni ipi kati ya zifuatazo ni dhana ambayo hoja inategemea?J: Majaribio mengi ya kuunda uthibitisho wa nadharia za hisabati haitoi maonyesho kwamba nadharia hizo ni za kweli.B: Kompyuta haziwezi kutumika kusaidia katika kutoa uthibitisho wa nadharia za hisabati ambazo zinahusisha idadi ndogo sana ya hatua.C: Matumizi ya kompyuta kusaidia katika uthibitisho wa nadharia za hisabati imerahisisha sana kazi ya mwanahisabati.D: Matumizi ya programu huru ya kompyuta haikidhi hitaji la uthibitishaji huru wa kila hatua katika uthibitisho ambao umepanuliwa vya kutosha kutoweza kuthibitishwa vinginevyo.Chagua A, B, C au D kama suluhisho lako.  <response>: D 