Korollar 3. Ist (ai) keine Nullfolge, so ist ai divergent.