Teorema 3 - Hipérbole - ramo superior (livro 3 - Acker)