Assertion: gauss's proof | /r/HasProperty | long
Facets:
Source sentences:
text: While the original proofs of Hadamard and de la Vallée Poussin are long and elaborate, later proofs introduced various simplifications through the use of Tauberian theorems but remained difficult to digest.