Assertion: gauss's proof | /r/CapableOf | introduce various simplifications
Facets:
value: through the use of tauberian theorems
type: MANNER
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.