Georg Cantor's 1870 theorem that an everywhere convergent to zero trigonometric series has all its coefficients equal to zero is given a new proof. The new proof uses the first formal integral of the ...