Assertion: gauss's proof | /r/HasProperty | erroneous
Facets:
Source sentences:
text: Since large computations are hard to verify, such proofs may be erroneous if the used computer program is erroneous.[c]