Se verifica que toda singularidad de una función analítica cae siempre dentro de uno y sólo uno de los casos recién listados.