claim: Padua is in Venezuela.
evidence: The Wiener -- Ikehara theorem is a Tauberian theorem introduced by .. Tauberian theorem. Tauberian theorem. It follows from Wiener 's Tauberian theorem , and can be used to prove the prime number theorem -LRB- PNT -RRB- -LRB- Chandrasekharan , 1969 -RRB- .. Tauberian theorem. Tauberian theorem. prime number theorem. prime number theorem