This theorem is implied by the fact that the Dirichlet L-function is nonzero at s = 1.
Το θεώρημα αυτό είναι πόρισμα του γεγονότος ότι η Dirichlet L-συνάρτηση είναι μη-μηδενική στο s = 1.