Resolução de equações em números inteiros
Guelfond, A. O. cop. 1982